L-fuzzy normal spaces and Tietze extension theorem
نویسندگان
چکیده
منابع مشابه
Formalization of the Tietze extension theorem in MIZAR?
In this paper we report on the formalization of the Tietze extension theorem using the MIZAR system. This theorem has been formalized as a part of the project aimed at formalizing the Jordan curve theorem. However, this development has turned out to be also useful for other formalizations.
متن کاملAn Effective Tietze-Urysohn Theorem for QCB-Spaces
The Tietze-Urysohn Theorem states that every continuous real-valued function defined on a closed subspace of a normal space can be extended to a continuous function on the whole space. We prove an effective version of this theorem in the Type Two Model of Effectivity (TTE). Moreover, we introduce for qcb-spaces a slightly weaker notion of normality than the classical one and show that this prop...
متن کاملExtension Theorems on L-Topological Spaces and and L-Fuzzy Vector Spaces
A non-trivial example of an L-topological space, the L-fuzzy real line is examined. Various L-topological properties and their relationships are developed. Extension theorems on the L-fuzzy real line as well as extension theorems on more general L-topological spaces follow. Finally, a theory of L-fuzzy vector spaces leads up to a fuzzy version of the Hahn-Banach theorem.
متن کامل$L$-fuzzy approximation spaces and $L$-fuzzy topological spaces
The $L$-fuzzy approximation operator associated with an $L$-fuzzy approximation space $(X,R)$ turns out to be a saturated $L$-fuzzy closure (interior) operator on a set $X$ precisely when the relation $R$ is reflexive and transitive. We investigate the relations between $L$-fuzzy approximation spaces and $L$-(fuzzy) topological spaces.
متن کاملExtension of Krull's intersection theorem for fuzzy module
In this article we introduce $mu$-filtered fuzzy module with a family of fuzzy submodules. It shows the relation between $mu$-filtered fuzzy modules and crisp filtered modules by level sets. We investigate fuzzy topology on the $mu$-filtered fuzzy module and apply that to introduce fuzzy completion. Finally we extend Krull's intersection theorem of fuzzy ideals by using concept $mu$-adic comp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 1987
ISSN: 0022-247X
DOI: 10.1016/0022-247x(87)90169-7